$\forall$$a$:Id. sqequal(eq\_id($a$; $a$); tt)